DEF=kool-untyped
EXT=kool
KRUN_FLAGS=--output none

%/threads.kool: kompile
	true

include ../../../../../../include/kframework/ktest.mak
